Skip to main content

Full text of "Treatise On Analysis Vol-Ii"

See other formats


therefore the isomorphism above extends to an isomorphism of Hilbert spaces
r : Hg> -> Lg(S, m), such that Ug.(x) = T"^lM(x)T. Let us now show that

or equivalently that, if F e ^c(S')? the continuous operator M(F) (" multipli-
cation by F ") on the Hilbert space Lc(S, m) has norm equal to ||F|| . It follows
immediately from (13.12.5) that ||M(F)|| ^ ||F||. On the other hand, there
exists Xi e S' such that \F(xi)\ = \\F\\ (3.17.10); hence, for all e > 0, there exists
a compact neighborhood V of Xi in S' such that \F(x)\ ^ ||F||  e for all
X  V. Since by hypothesis the support ofm is the whole of S, and since in all

cases Xi ^es *n the closure of S in S', we have m(V n S) = j cpVn s dm =
(N2(<py n s))2 > 0; also it is clear that \F<pv n si ^ (I|F|| - e)cpv n s , so that

and consequently ||M(F)|| ^ ||F||  e. Since e > 0 was arbitrary, this proves
our assertion. Hence the isomorphism A  1H , + Ug>(x)t-+A + jc extends by
continuity to an isometry of ^, onto ^C(S'). Having regard to the fact that
every character of ^C(S') is of the form Fh-F(/) for some / e S' (15.3.7), we
conclude that S^/ = S' and hence that Sg, = S. It remains to show that mg, = m,

or equivalently that JF(x) dmg>(x) = J Fft) dm(x) for all functions F e Jf C(S).
But by virtue of (i) we have

and since the functions , as z runs through A, form a total set in ^c(S), this
establishes the equality of the bounded measures x$  mg, and $  m for all
x, y in A. On the other hand, we have seen earlier that there exists a function
^ = S Xi*i (where the xt belong to A) which does not vanish on Supp(F), so

that F = G# with G e ?f C(S). Consequently we have from above





This completes the proof of the Plancherel-Godement theorem.gligible; but